منابع مشابه
Multitree automata that count
Multitree are unranked, unordered trees and occur in many Computer Science applications like rewriting and logic, knowledge representation, XML queries, typing for concurrent systems, cryptographic protocols.... We define constrained multitree automata which accept sets of multitrees where the constraints are expressed in a first-order theory of multisets with counting formulas which is very ex...
متن کاملCounting and Equality Constraints for Multitree Automata
Multitree are unranked, unordered trees and occur in many Computer Science applications like rewriting and logic, knowledge representation, XML queries, typing for concurrent systems, cryptographic protocols.... We define constrained multitree automata which accept sets of multitrees where the constraints are expressed in a first-order theory of multisets with counting formulae which is very ex...
متن کاملAutomata That Take Advice Automata That Take Advice
Karp and Lipton introduced advice-taking Turing machines to capture nonuniform complexity classes. We study this concept for automata-like models and compare it to other nonuniform models studied in connection with formal languages in the literature. Based on this we obtain complete separations of the classes of the Chomsky hierarchy relative to advices.
متن کاملSynthetic gene networks that count.
Synthetic gene networks can be constructed to emulate digital circuits and devices, giving one the ability to program and design cells with some of the principles of modern computing, such as counting. A cellular counter would enable complex synthetic programming and a variety of biotechnology applications. Here, we report two complementary synthetic genetic counters in Escherichia coli that ca...
متن کاملGene Silencing Repeats that Count
RIP is nucleus limited. We know this because the specialized cells that carry out RIP are heterokaryotic, with nuclei from both parents. When a sequence is duplicated in one nucleus but not the other, the lone copy is never silenced. The mechanism of RIP is unknown but probably involves DNA:DNA pairing (Figure 1) followed by methyla-Repeated DNA and cytosine methylation are common tion and deam...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2005
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2004.10.023